1. Computation, proof, machine :
پدیدآورنده : Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient
